<?php
session_start ();
if (! isset ( $_SESSION ['id'] )) {
	header ( "Location: index.php" );
	exit ();
}
?>
<!DOCTYPE html>
<html>
<head>
<meta charset="UTF-8" />
<title>
	<?=$_SESSION ['name']."(".$_SESSION ['department'].")-信息系统"?>
</title>
<link rel="stylesheet" type="text/css" href="ext-all.css" />
<link rel="stylesheet" type="text/css" href="style.css" />
<script src="adapter/ext/ext-base.js"></script>
<script src="ext-all.js"></script>
<script src="patch.js"></script>
<script src="ext-lang-zh_CN.js"></script>
<script>
	var g_name = "<?=$_SESSION ['name'] ?>";
	var g_gender = "<?=$_SESSION ['gender'] ?>";
</script>
<script src="main.js"></script>
<style type="text/css">
.list {
	list-style: square;
	padding-left: 25px;
}

.list li {
	padding: 2px;
	font-size: 12px;
}
</style>
</head>
<body>
	<div id="main" style="padding: 5px;">
		<h3>PHP $SERVER</h3>
		<ul class="list">
<?php
foreach ( $_SERVER as $key => $value ) {
	echo "<li>" . $key . ": " . $value . "</li>";
}
?>
		</ul>
	</div>
</body>
</html>
